Skolem

Skolem
Skolem
 
['skuː-], Albert Thoralf, norwegischer Mathematiker, * Sandsvær (Provinz Buskerud) 23. 5. 1887, ✝ Oslo 23. 3. 1963; Professor in Oslo (1938-57); frühe Arbeiten galten der Zahlentheorie und diophantischen Gleichungen. Ab 1919 wandte sich Skolem der Logik und Modelltheorie zu, wo es ihm 1922 unter Verwendung des Löwenheim-Skolem-Satzes zu zeigen gelang, dass die axiomatisierte Mengenlehre abzählbare Modelle besitzt (»skolemsches Paradoxon«). 1934 bewies er, dass sich die Menge der natürlichen Zahlen nicht durch abzählbar viele prädikatenlogischen Aussagen erster Stufe charakterisieren lässt. Die hierzu verwendete Konstruktion von Nichtstandardmodellen wurde zum Ausgangspunkt der Nichtstandardanalysis bei A. Robinson. Andere Beiträge Skolems bezogen sich auf die Algebra (Satz von Noether-Skolem über die Automorphismen von Algebren), die Kombinatorik und auf diophantischen Gleichungen.

Universal-Lexikon. 2012.

Игры ⚽ Поможем решить контрольную работу

Schlagen Sie auch in anderen Wörterbüchern nach:

  • SKOLEM (A. T.) — SKOLEM ALBERT THORALF (1887 1963) Logicien et mathématicien norvégien né à Sandsvaer et mort à Oslo. Ses travaux en algèbre (théorème de Skolem Noether pour les algèbres associatives) et en théorie des nombres (introduction des méthodes p adiques …   Encyclopédie Universelle

  • Skolem — Albert Thoralf Skolem (* 23. Mai 1887 in Sandsvaer; † 23. März 1963 in Oslo) war ein norwegischer Mathematiker, Logiker und Philosoph. Seine Arbeiten lieferten grundlegende Resultate zur mathematischen Logik, insbesondere zu den Bereichen… …   Deutsch Wikipedia

  • Skolem — Thoralf Skolem Thoralf Albert Skolem (23 mai 1887 23 mars 1963) était un mathématicien et logicien norvégien. Il est particulièrement connu pour les travaux en logique mathématique et théorie des ensembles qui portent à présent son nom, comme le… …   Wikipédia en Français

  • skolemælk — sko|le|mælk sb., en, i sms. skolemælks , fx skolemælksordning …   Dansk ordbog

  • Skolem's paradox — is the mathematical fact that every countable axiomatisation of set theory in first order logic, if consistent, has a model that is countable, even if it is possible to prove, from those same axioms, the existence of sets that are not countable.… …   Wikipedia

  • Skolem normal form — A formula of first order logic is in Skolem normal form (named after Thoralf Skolem) if it is in conjunctive prenex normal form with only universal first order quantifiers. Every first order formula can be converted into Skolem normal form while… …   Wikipedia

  • Skolem-Paradox — Das Löwenheim Skolem Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen… …   Deutsch Wikipedia

  • Skolem , Thoralf Albert — (1887–1963) Norwegian mathematician The son of a teacher, Skolem was born at Sandsvaer in Norway and educated at the University of Oslo. He joined the faculty in 1911 and was appointed professor of mathematics in 1938, a post he held until his… …   Scientists

  • Skolem–Noether theorem — In mathematics, the Skolem–Noether theorem, named after Thoralf Skolem and Emmy Noether, is an important result in ring theory which characterizes the automorphisms of simple rings. The theorem was first published by Skolem in 1927 in his paper… …   Wikipedia

  • Skolem hull — A Skolem hull is a construction from mathematical logic. Given a structure S (with some set of properties and relations) the Skolem hull of S is the smallest elementary substructure of S . More precisely, for any existential formula (without… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”